perm filename AMR9.360[360,GF] blob sn#784683 filedate 1985-02-07 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T  H∧⊃p∂β`%H↓⊗E@α∃`e8β∃`e0∧∃@ λαU@ λαU 0λβ∃  _αU0_β∃ (αU (αT`0(β∀` 8αT` 8αT@08β∀B¬λ	∀  XαT  XαT0Xβ∀ hαT hαS`0hβ∪` xαS Ppβ∩A HεRA HεQ(D⊂∞πCap¬	!0'↓!⊂('↓! ('↓!0('↓!00'↓!@('↓!@('↓!@('↓!@('↓!00'↓!0('↓! ('↓!⊂('∧Ia '↓! 0'↓!@('↓!P('↓!P('↓!`('↓!`('↓!`('↓!`('↓!`('↓!P('↓!P('↓!@('↓! 0%ε	!("Qλ1`∂πC``∧↓@%_εA%λβA @⊂↓TPP↓@ 4xαCdpαC@ThαDD`αD D`αD@4XαD`4XαE$Pβ¬$PαE $PαR@TPαR@TPαR@TPβ¬$XαE$XαE$`αD@4`αD@4hαD4pαC@DxαCEαB@EλβA U_π∃A∧("⊃∧αλ∂π@↓0%ε	p(∧Aip(¬AIp(εA)p(π↓)p(πA)p(πA)p(λ↓)p(λ↓)p(λ↓)p(λA)p(λA)p(λA)p(λA)p(λA)p(λA)p(λA)p(λA)p(λA)p(λ↓)p(λ↓)p(λ↓)p(πA)p(π↓)p(π↓)p(εA)p(¬AIp(∧Ai!@%¬HT "Gβap∂β$P
∪@PXβ∪@Pp↓S@Pp↓S@Px↓S@Px↓S@Px↓S@P8↓↓`$pαA` 8↓∪@P8↓↓`$pαA`$pαA@4pαA@4pπ∪AdpαA@4pαA@4pαA`$pαA` @↓∪@P8↓α$pαA` 8↓S@Q↓S@Q↓∪@Px↓S@Px↓S@Ppα∪@PhαS@PPβRC$P
⊃(D0εCap¬i!8'↓!0'↓!  '↓!0_'↓!@_'↓!@_'↓!@_'↓ `⊂α@I`(β@P⊂'↓ `⊂α@I`(βI`(α@i`(α@i`h'β)`(α@i`(α@i`(βI`(βI`(βI`(βI`('↓)`('↓)`('↓)`(%βI p"Qλqx⊂GC``∧↓@%_εA%λβA @⊂↓TPP↓@ 4xαCdpαC@ThαDD`αD@4`αD@4XαD`4XαE$Pβ¬$PαR@TPαR@TPαR@TPαC!TPββ↓TXαD TXαD T`αDT`αDThαC`TpαC@TxαCeαB@uλβA!∃_ε@`50∧↓@$("∩βb∂π@hαβ) hαβ)`(ε↓)`(ε↓)`(ε↓)`(ε↓)`(ε↓)`(ε↓)`(ε↓)`(ε↓)`(ε↓)`(ε↓)`(ε↓)`(ε↓)a0'¬I`(ε↓)`(ε↓)`(ε↓)`(ε↓)`(ε↓)`(ε↓)`(ε↓)`(ε↓)`(ε↓)`(ε↓)`(ε↓)`(ε↓)`(ε↓) hαβ) hαβ(T $Cb↓p∂↓tPπS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TPπRAt("∩B1 ∂π@`h(β*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A)0 β↓) 0αA) 0αA) 0αA) 0α↓I (αA)0 α↓)@X'↓hT %H$!p∂↓p(ε∩Ap(ε∪`Phβ∪`Ph↓S`P`↓S`PX↓S`PP↓S`PH↓S`P@↓S`P8↓S`P0↓S`P(α∪`P αS`P_βS`P⊂∧S`Pλ↓@@Tx∧`dxβA dxβ↓`TxαBdxαB TxαB dxαB@dxαB`TxαB`dxαCdxαC TxαC dxαC@dPπA!TPπA!T("∪β↓P∂π@p%βI`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓!P⊂'↓!P⊂'↓!P⊂'↓!@_'↓!@_'↓!@_'↓!0 '↓!0_'↓!  '↓ p8%¬i!8"Q	RP∃πC`¬¬A$P¬¬A$xβ¬dxβ¬dxβD@txβD@tx∧∧↓∧x↓ Q↓ Tx↓ `p↓@ Tx↓@Pp↓@Tx↓@``↓@@Tx↓`P`↓`Tx↓``P↓@`Tx↓↓PP↓↓Tx↓↓`@↓ATx↓↓ P@↓↓ Tx↓↓ P@↓↓ Tx↓↓ `0↓A Tx↓↓@P0↓↓@Tx↓↓@` ↓A@Tx↓↓`P ↓↓`Tx↓↓``⊂↓A`Tx↓αP⊂↓αTx↓α↓⊂@αS` HβB Tx↓α pHαS` PαB@Tx↓α@PPαS@@P↓B`TPε↓@00πRA@8↓↓At("∪Cb∂π@H¬BI P¬αI`0εA	`8ε@I`@εI`⊂A!@⊂'@⊂0¬@I`⊂↓↓A ⊂'@00∧@I`⊂α↓!⊂⊂'@@0∧I`⊂αA@p⊂'@`(β@I`⊂β↓@`⊂'@p0α@I`⊂∧↓ P⊂'A0αI`⊂∧A@0⊂'A (↓@I`⊂¬↓@ ⊂'A00@I`⊂ε↓ ⊂⊂'A@@'AP8'A`0'Ap('Ap('B &Aα_%αAP_%αA`⊂"Q	qx⊂GC`X∧TaUλβ↓ eαB Txαβ Dpαβ`DhαC`T`αD T`αD TXαD`TXαD`TPβ∧`dPαE TPαE TPαE TPαE TPαE TPαE TPαE TPαE TXαD`TXαD`T`α∧`D`αD ThαC`Tpαβ`DpαC UαB Uλβ↓ e_εU!∀("∀β1h∂π@↓ %¬i`(∧AI`(¬A)`(ε↓)`(ε↓)`(εA)`(εA)`(εA)`(εA)`(εA)`(ε↓)`(ε↓)`(¬A)`(∧AIa_'∧	`('↓)`('↓)`('↓)`('↓)`('↓)`('↓) h%β(T (Gd∩8∂αa∃_εT `(β∀PHαS`@hα∪@@xα∪ PxαSQλαSQλαR`Q_αR`Q_αR@a_β∩@Q(αR@Q(αR@Q(αR@Q(αR@Q(αR@Q(αR@Q(αR@Q(αR`Q_αR`Q_αSA_α∪QλαS P(β↓Tpα↓↓_α∪@P_↓`@λαTPλ↓↓uλβAe_εA`%(¬A`%h↓A`%h↓A`%hα↓ 5hα@`Ep¬↔A%x∧_fλα⊃(E⊂∂λβap∧i!('↓ p8'↓!⊂0'↓!0('↓!00'↓!@('↓!@('↓!@('↓!@('↓!00'↓!0('↓!⊂0'↓ p8'∧)`x'↓ p '↓! '↓!⊂ '↓!⊂('↓!  '↓! ('↓! ('↓! ('↓! ('↓! (αI`(¬↓ @⊂'↓! (αI`(¬A  _%β!@%β!⊂0"Q
1(GC`0βA$p¬@ 4hα↓ t`↓B TX↓B`DP↓C 4P↓C 4P↓C@$P↓C@$Pαβ $PαR`dX¬∪↓Thπ∪AeεU↓%@β⊗@TP↓β`DP↓β`DP↓∧4P↓C`4P↓C`4Pαβ 4PαC4Pβα@4P↓@ P(α∩@ _ε∩@ 0βQ(E ∞GcapFi1X%A@P(αAI0(β↓ `(%@a(∧i  ∧↓! %a⊂(∧@i _∧A!⊂_%a⊂(∧@i ⊂¬↓! ⊂%A (¬J`(+↓*`(+↓*`(+↓*`(+↓*`(+↓*`(+↓*`(+↓*`(+↓*`(+↓*↓λ(∧(T *GD↓p∂↓P8¬∩AP8¬∪@Ppα∪@Px↓∪@Px↓∪@Px↓∪@Px↓∪@Px↓∪@Px↓∪@Px↓∪@Px↓∪@Px↓∪@Px↓∪@Px↓∪@Px↓∪@Px↓∪@Px↓∪@Px↓∪@Px↓∪@Px↓∪@Px↓∪@Px↓∪@Px↓∪@Pp↓S`Ph↓∪`P`↓TPP↓T P@↓T@` αTaE0βQ(E0∂λβapβ↓⊂H%β↓⊂H&AA`('↓!p⊂'↓AP_'A!P⊂'A!P⊂'AA0_(↓!0⊂(↓!0⊂(↓A⊂_(A!⊂⊂(A@p_)↓ p⊂)↓ p⊂)↓@P_)A P⊂)A P⊂)A@0_*↓ 0⊂*↓@⊂_*A ⊂⊂*A ⊂⊂*B
`0+↓J`0+A
p ,K⊂"Q
rH⊗πC`¬@aP(∧RA0_εA!∀`βα@``↓S PXαC4hαB`P`↓∪ `Pβα@4pαB@`P↓∪@PPβα@$pβα↓@↓S`P@↓ P@↓∪`P@↓ P@↓∪``0↓@ `0↓TP0↓`P0↓∀P0↓`P0↓∀` ↓@`` ↓T P ↓↓ P ↓∀ P ↓↓ P ↓∀ `⊂↓A `⊂↓T@P⊂↓↓`P⊂↓∀@P⊂↓↓`P⊂↓∀A⊂8∧T`pHβT`pHβT`pHβUPXαUPXαUPXαU 0h↓U 0h↓U 0h↓U 0h↓Q(E@⊂λ#apC`X%C`X'↓a 0'AA0_(↓A⊂_(A!⊂⊂(A@p_)↓@P_)A@0_*↓ 0⊂*↓@⊂_*B
`0+↓Jp0,↓*p8+α*`⊂↓↓*P_↓↓J@_α↓J@⊂β↓*0_β↓J _∧↓J⊂_¬↓J⊂⊂ε↓*_ε↓Ip_π↓IP0εAi X∧C	 X∧CλT ,GD↓p∂↓@H∧RA@H∧S `pαS@`h↓S`Ph↓∪``X↓TPX↓∀`H↓T `@↓∀@P8↓T@`0↓∀`P(↓T`` ↓∃P_↓U`⊂↓∃!∃0βU@u8αU`U8αU`U8αU`U8αU`U8αU`U8αTaU_εQ(EPF#ap↓¬)A(&↓A⊂(&↓↓ 0&a0(&a 0&a⊂0&A (&A⊂0&A0&A(*AJP(*↓J00)A* 0(AJ⊂(∧@J0∧@J(¬Ip0∧@i`0¬i`(¬@iP0¬@i@0¬@i@(εi00¬A	0(∧Ai!0%¬HT 0E"a_	A th¬SP αSP(α∪P0α∪ 08α∃`E⊂∧SaDh∧@D`β↓ DXαA`DPβ↓`DPαB@⊂↓∩@P@α@$PαA`P⊂↓∩@`0α@@$Xβ`pλ↓Sα$pβ@`d("_Bq@∂π@8%↓iP &A	P &A	P &A	P &A	P &A 8&A⊂P&A`@0&A@p(&A!⊂ &A↓ (&A↓0 &A↓0(&A↓0(&A↓0(&A↓0(&A↓0(&A↓0(&A↓ (&A↓ (&A!⊂ &A@p(&@`⊂_α↓)P_↓αIP⊂α↓hT 1D"!_	A@tp¬S P_αSP αR`P(αR`P0↓R@dPαR@TPαR@TPαR@TPβ∩`PH↓∩`PH↓∪P8↓S P α∪A5βQ(F Fβapεα
`@-↓  -↓  -↓  -↓  -↓
⊂8↓↓	px'↓ @8&↓!(&↓↓⊂(%A!  %A!  %↓!0 %↓!0 %↓!0 %↓!0 %↓!0 %↓!0 %A↓0 %A!  &↓↓⊂(&↓ p0&A@0@'B@⊂8(A@08"QQλ	∧b00β∪A$hα@`D`αA DXαA@DXαA`DPβ↓`DPαBDPλRB∀PαR@TPαR@dXαB $XαB $`αA`4hαADp¬Tt("→B↓∂πA0(α)p(A)p ↓↓)` ↓A)` αi` '↓	` '↓	` %β	 `'↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` %Bi0X"Qq 
Gα00β@Tpλ∪ P⊂α@ D`αAPλ↓∩`P0αR`P0αR`P0αR`P0αR`P0αSP αS P⊂αS!4`↓@ d`↓∪$`↓S↓Thπ∪!t`λR`@Hβ∩@PPαR@@`α∩@@`α∩@PPαR`P@αSP0αS!e∧⊃(F@Fβap↓i 8&A	P &A	P &A	P &A	P &A	P ↓AiP BIP@α↓	P0β↓)P(∧↓	P(∧↓	P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	 P↓BI P↓BHT 4BA1p∂`4`αST`αS 48αR@tPβS Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∩A$P¬⊃(FPεα$qp∧j⊂((A*⊂()hp('Aip8)↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓	0_α↓	 (↓A	 (↓↓	 (A)0H&↓HT 5EαQp∂tPβS Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα↓↓∀hα↓↓∀hα↓@Thα↓@4hα↓ 4hα↓4hα@Dhα Dh∧S!$hα@ Thα`Dhα`Thα↓Thα↓ Dhα↓ Thα↓@Thα↓@TP∧@a∧P∧@a∧("≠↓ X∂π@8%↓iP &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P %αI P"Q
R ∩Db0β@`p0βR@pλ¬a$h∧↓@λα↓Dhβ↓@p0αS P@αBDhαBP@α∪ @Hαα Dhαα @Hα∪ @Hαα Dhαα @Hα∪ @Hαα Dhαα @Hα∪ @Hαα Dhαα @Hα∪ @Hαα Dhαα @Hα∪ @Hαα Dhαα @Hα∩A _¬a$P¬a _¬⊃(FpFα1_↓`08%↓`⊂P&B@ &A@`(&A! &A! &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ %α@0P%α@0P"Q
q 
Db08β∪a$hαAT`αA@T`ααDXαBTXαα@DPαB@TPαB@TPαB@TPαB@TPαB@TPαB@TPαB@TXαBTXαBT`αA@ThαATpε∀ d("≤αq@∞∧`8↓↓i 8BIP8α↓IP0βA)P(∧↓)P ¬↓)P ¬↓)P ¬A)P ¬A)P ¬A)P ¬A)P ¬A)P ¬A)P ¬↓)P ¬↓)P(∧↓)P0β↓IP8α↓)P BIP ↓↓iP &A	P &A	P &A	P %αI P"Q∞⊃0Gα08β↓$x∧@@4hβ`0λ↓SP0β∪P8αR`PHα∩`PHα∩@PPα∩@PPα∩@PPα∩@PPα∩@PPα∩@PPα∩`PHα∩`PHα∩`P@αSP0β∪ P βSA λα∀p⊂α⊗ EHα⊗ EHα⊗ EHα⊗ E0¬∃A$("≤Aq	D`8↓↓	 8AiP`&A@⊂(&A  (&A 0_&A	P &A	P &A	P &A	P &A	P &A	P %αi X"Q∞0xλ∧b0_β@@$`ε∩`@ αR@0@↓R@0@↓R@0H↓∩@P8↓∩A∀X¬S↓4p¬∀@tP↓α DP↓α@4P↓α@4P↓B 4Pα↓`DPβ↓DP↓!$P↓`d("≥↓`x
F`P⊂'@Ip⊂'@I`_'iP &↓) h%β)P &A	P &A	P &A	P &A	P α@IP α@IP α@IP α@IP α@IP α@IP(↓@i` ↓@Ip@(↓HT :Ec↓_	@p0βR@p0βS @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @@αS P0β∪@P βSa λβT p⊂βQ(G0
¬"1_α @8%α @8&↓ p &A↓⊂&A `_'↓`⊂'↓`⊂'↓ @_'A@⊂'A 0⊂(↓ _(↓ ⊂(α
⊂0(AJ⊂0)↓
  )@J0⊂"Q∞qx∂Db0∧@A⊂ βRA⊂⊂∧At`αA@P@↓S @8αα$hαA@P0↓S@@0αA@$pα↓@P0↓∪@P βA4xα↓ λα↓$xα@` λα@`%α@0⊂α@5α@ _α@%∧a¬λβ↓ eλβ↓ eλβ↓ e⊂α↓`E⊂α↓`E_↓α %_↓α $("≡αQ0	D`Hα↓i Hα↓iP(β↓	P(βi`(αip(↓j @j8(AJ ()↓*⊂8(@@⊂((`  '@`0('`P(&@`p(&↓p(%↓`PH%↓`PH"Q∂⊃ 
Gα0∧AtP∧At`αB4hαα$hαA@4pα↓@$pα↓@$pαA4xα↓$xα↓$xα@@5α@%∧∀ eλβ∀ e⊂α∀@E⊂α∀`%⊂αT@%⊂↓∩`0_↓R@P⊂↓∩@Pλ↓RA∧Xβ∪D("≡B↓λ	D`⊂x%Ci0 αA)0_αAI0⊂β↓)0⊂αAI0⊂α↓I0⊂α↓*0'AIp('↓@@⊂'↓ P⊂&A@P⊂&↓@P_&↓ `_%A@P_%A P %βi x"Q↓8GC`∩BdpαA`dpαB DpαB@4pαB`4pαB`4pαB`4pαC$pαC$pαC$pαS@TpαS@TpαS@TpαS@TpαS@TpαS@TpαS@TpαS@TpαS@TPπ∩Ad("$∩_∂πAp_,@k(,↓*p8+Aj`H+@ (*@` 0*@@@(*`@0*@`()@``0)@A()a0(@a 0(@A@((a@0(A`('@a`0'@B('b0'B (&@b 0&@B@(&b@0&B`(%Gi1x%λ)"λ"Q!x⊂GC`X∧TaUλβ↓ eαB Txαβ Dpαβ`DhαC`T`αD T`αD TXαD`TXαD`TPβ  h↓ dPα@@ h↓@TPα@B⊂⊂αR@P⊂λ@@TPα@B⊂⊂αR@P⊂λ@@TPα@@ h↓@TPα@@ h↓@TPα@@ h↓@TXαD`TXαD`T`α∧`D`αD ThαC`Tpαβ`DpαC UαB Uλβ↓ e_εU!∀("c⊃X∂πA0_*@jP_*@j@(*↓*@()Aj08)Aj08)α* ⊂↓↓* ⊂↓↓*⊂_↓↓J⊂⊂α↓*⊂⊂α↓*⊂⊂α↓*_α↓J⊂β↓*⊂β↓)p_β↓Ip⊂∧↓)p⊂∧↓)`_∧↓I`⊂¬↓)`⊂¬↓)P_¬↓)@(∧AI Hαβ	 HαβλT α¬c⊃p∂αtPRBtPR@!_↓∩@!_↓∩@!_↓∩@!_↓⊃`∀h↓β $h↓β $h↓β $hλS"∀hλS"∀h↓β $h↓β $h↓β $8↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩BtPRBtPQ(@(∂λβapπI!p'↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@('↓!@(%β``%β``"QaX∞GC`
∩C$XαC@dXβ∧4`ββ`4hαD4hββ`4pββ@4xββ@%αC@%ββ %λβ∀@U⊂β∀`e αUU(↓U5_↓C %⊂↓C@%λ↓C`%↓C`4x↓D4p↓D 4p↓∧ Dh↓D 4`↓C`dXRC$P
⊃(@8∂H#apα↓A00&α@pP%CP`%β Ph%↓ 00↓A@0(%`p(A p_%A(A!⊂%A⊂ A↓⊂⊂%A 8¬J`8+↓j`8+A*p(+A*p(+A*p(+A*p(+A*p(+A*p(+A*p(+A*p(+A*⊃λ(D(T ∧π#qp∂↓B∃λU@U0αU@U ∧T!txβ Pλβ∪ `_α@`d`β↓P β∩``(αA dXαA@P0αR@`0αA@dPαA`P8αR@P8αA`TPαA`P8αR@P8αA`TPβ↓@P0β∩`P0αA@TXβ↓ P(β∪` αAdhβ`P_β∪``λα@ eλπU↓∃0αU@U0αU@UλTα∀("α#R∂π@aλ(∧*`(+↓*`(+↓) (βA p(%↓@`(β↓I00αA P0&↓ P(αA)@(αA P(&↓ P(αA)@(αA P(&↓ P(αA)@(αA P(&↓ P(αA)@0α↓ @0&A @(α↓)P0↓A 00'↓ 0(↓A)`0↓↓  0'A@⊂(AJ↓λ(Cj h+↓*`(+↓*`((∧*↓λ"Q↓!`∂πC`H¬∀α∧pβA@thβα@d`αC@TXαDTXαDTPαD@TPαD@TPαD@TPαD@TPαD@TXα∧@DXα∧@DXα∧@DXαDT`α∧D`α∧Dh↓D4hαβ@Dhαβ@Dp↓C@4p↓C@4P↓`0`↓@`$P↓`0`↓@`$P↓↓ `↓↓$P↓@`0P↓@`4P∧BA∀X∧B↓∀X∧B↓∀X∧B↓∀("αA(∞πp0'BIP(α↓)P β↓	@ ∧↓	0(∧↓)0(∧↓)0 ¬↓	 (¬↓) (¬↓) (¬↓) (¬↓) (¬↓) (¬↓) (¬↓) (¬↓) (¬↓) (¬↓) (¬↓) (¬↓) (¬↓)0 ¬↓	0(∧↓)0(∧↓)@ ∧↓	@(β↓)P(α↓)pP(αλT _Cb1`∞α%λ↓S`TP¬∩A$xαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TPπRAt("B! ∞πP8&Bi@ α↓I0_βAI0 βA) 0βA) 0βA) 0βA) 0βA)0 ∧↓*p(+↓*`(*A*P(*↓*0()A
  (A
 βIp β@I`_∧@IP_∧@iPx&βi1%∧)!λ"Qε1⊂
πβ@(βS!4`α↓dXαA TXβ↓ TXβ↓ TXβ↓ TXβ↓ T`α↓@E(αU E_αS`txβU 50↓U@E8α∃`U8αR`@@αR@`8αR@`8αR@`8α∩@`0αR`@8α∪@ αS!4xβQ(C 
¬#A`πJp_+↓
` *A*@0)Aj08)α
⊂_A*_↓↓*⊂↓A)p_↓A)`_α↓)P_αA)P⊂β↓)@_β↓)0_βA) _∧↓)! %¬
P(*A*P(*A*P(*A*⊂h(C(T ~DBA`∞@0H↓∪↓d`εS↓D`¬∪$`↓∪$`↓∪$`↓∪ ⊂β∪↓D`α@`T`↓A`D`↓αU8α∃`U8αR`0HαR@P@αR@P@αR@P@αR@@@αR@0HαR`08αS@ αS!4xβQ(C0
¬#A`∧↓jP'A @_'↓ P &A P(&↓ `(&↓ `(%A!_%A)0(%↓ 00%↓  H%↓ ⊂_↓A) @αA) 8βA) 8βA) 0∧A) 0∧A) 0∧A) 0∧A)0(∧A)0(∧A)0(∧A)@(βA)@(βA)P(αA)`(↓A)pX(AhT ≠DbQh∞@ $X	∩b$XλRb∧PλR@0P↓R@ X↓∩@ P↓R@ P↓∃ 5(↓∃5 ↓∀`5_↓T@E⊂α∀ Eλα∀UαTTxβ∪`dxβ∪`dxβ∪`eα⊃(C@	¬βA`β↓i`X&A@(&a_%@a⊂ %@a _%@a _%A↓⊂_%A@` %A`@ &↓`  &Bi`H'B)P`&↓ ⊂@%AP8%@`p8%↓↓⊂(%a0 %a@_%a@_%a@_%a@_%↓↓ _%A↓ &↓ @(&C	p@"Qπ⊃ 
Gβ@0βSA4hα@`T`αA TXαA`TXαBDPαB TPαB TPαB TPαB@TPαB@TPαB@TPαB@TPαB dXαBdXαA`t`αA@thα@a∀p¬ Uβ@U@αVTh↓A`T`αA@T`αA T`αA D`α↓Th¬S`t("	α! ∩λ!⊂)J ⊂(↓I`P&↓ ⊂⊂A)@_↓@@0 %@`@⊂α@I _α@@@ %`P⊂↓A) _α@@0(%`P⊂↓A)  α@@_%↓@⊂%A0⊂%B)@P&Bi`X(B* ⊂AJ ⊂↓A
 ⊂α↓	0_α@@ %↓ 0⊂α@i (↓@@P_%↓ 0⊂α@i  α@P_%`P⊂αi0_α@@_&`0⊂↓@iP @@⊂ 'αJ0)J ⊂)HT ∪πd⊃p∂α U⊂∧∀ @⊂↓T@ ↓T@ ↓T@ ↓T@ ↓T@ ↓T@_α∀@⊂α∀↓∃∧↓a∃λβα↓∃λαB`UλαB`5βα`4p∧B@$h¬α 4`α@@P8↓R`P_β↓@$XαAP(↓R@P(β`4PαA@`⊂↓∩@P8α@ 4PαAaH↓∩@P@βα@$XαB`H↓∩`P8∧↓`4`αAPλβ`Dh¬A↓4xβBt("∂B⊃_∂¬!_(A*⊂((A* _#@j ⊂)J ⊂)J ⊂(@j⊂_(j_'A	` &↓)00%↓@p_%↓ p(%↓ p(%↓ p(%↓! %A p_%A@P &β	p@"Qπqλ	GC` ∧∪!DXα↓ dX↓A`TPααTPαA`TPαA`TPαA`TX↓A`e β∃U_α∀@E⊂↓T@5λ↓T 5λ↓∀ %λ↓∀ %λ↓⊃`5λ↓TUαTUλ↓Q(A¬αb1_↓i 8&A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P %αI P"Qα⊂P∧Gα0_βS uα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∩`0⊂α∩@Pλα∩A∀P∧R`t`αQ(AH
¬#apβAjP'↓ 0('↓P(&Ap(&Ap(&Ap(&Ap(&A`0&A`(&A@0%↓`⊂@%↓`⊂8&A@(&AP(&A`(&Ap &Ap(&Ap(&A↓(&A↓(&A↓(&A↓(&A↓(&A↓(&A _↓A)P A ⊂(&A⊂(A)P BI 8↓α	 8↓A(T 
πCq_	A!0β∪!0_¬∪P ∧@`T`αA p0α∪P0αA`Dh↓A`P8αU`P@α∃`@Hα∀Bdp
∪ p_α∪`(α∩`P8α∩@`8αR@PHαα@$PαB`H↓∩@`0βB4Xβ↓@λαAD`¬A↓4p∧↓`t("εd∩⊂	D`p0∧AIpPαBIP(α↓   ↓A)@ ∧αP(&↓↓8βA	0 ¬↓@p(%A↓ 0∧↓	  ε↓↓⊂ %↓↓Aλ%↓↓Aλ%↓↓@ %↓↓@ %↓↓@ %↓! 0%A↓ 0¬I0(∧α↓⊂⊂&↓↓@∧iP(α↓  (α↓	``ααj⊂0∧AhT ∞¬αQh∧ %P↓V@%H↓V %λβ 4x¬S P αS@0β∪@0β∩`@0↓@ DXα↓@ ⊂α∩@@0↓@`DPα↓@  α∩@@(↓ADPα↓0(α∩@@ ↓↓@DPα`00α∩@P⊂↓↓@TXα 00α∩`p0αS`0α∪ P αSADh↓@ dh↓∪4`↓∩`4X↓⊃(BλαB#ap@i (%↓) (%↓) (%↓) (%A	0 %A	0 %@i0_%@i0_%@i@⊂&I@⊂&I@⊂&Hp⊂%@i (%↓) (%@hT ⊃H$20∂∧ @↓⊗ 0@↓⊗  H↓⊗  @↓V0@↓⊗ H↓⊗ @↓U`0@↓∃` H↓∃` H↓∃` @↓U@0@↓∃@ H↓∃@ @↓RD∀P⊂U  H↓∃  @↓U0@↓∃ H↓∃ @↓T`0@↓∩D∀P⊂T` @↓T@0@↓∀@ H↓∀@ @↓T 0@↓∀  H↓∀  H↓∀  @↓T0@↓∀ H↓∀ @↓S`0@↓∪` H↓∪` H↓∪` H↓⊃(B(⊂HdBλα↓"@⊂&Ab _&↓ _λi0 αa` %AP_ε↓	0_β↓↓⊂(%↓p0↓α	  βD	  β@@0 ↓@i  β@A ⊂%↓p⊂∧@i  β@A_%↓p⊂β@i0_β`p⊂%AP⊂β@i0 α``_&↓ _β@IP8β@i`(β@`P(,@`P8,@@P ↓k_α↓@_+@`P α@Jp⊂β``_+`P β@JP_β↓p⊂*`p β@J@⊂∧↓p⊂)@a β@J _∧Ap⊂)A  β@J⊂_¬@``_(a@ α@Ip_εA@_'@Ap ↓i`_λ↓i`⊂	↓(T ∪AA h∂ 4PαR@dPβ∩`Tp↓∪@$p↓∪ 4h↓∪4X↓R@4P↓⊃(B@¬CeBλ∧@J⊂ (↓	p '@i`_&A	P_&↓	@ &i0 %A	0 %A	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %A	0 %A	0 &i@ &↓	P_&A	`_'@ip (↓
⊂ )@HT ∀BaR`⊂@$Pα∩`D`α∪ 4p↓S@Dx↓S`Dxα∀5α∀Eα∀Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀Eα∀Eα∀4xα∪`Dx↓S@Dp↓S 4`α∩`DPα∩@$("
B↓_	λ p_(@j⊂_(@I _α@@_%`@⊂αi  ↓@@0 &↓⊂⊂A	`@(↓
 'α	 0@@⊂0%↓0⊂↓A	 _α@@_(@J⊂_(@j⊂_"Q¬1x⊂GC x↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ $P∂RCuH↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊃(B`βαAP @i (%↓I 0%A)`⊂'I`⊂&@iP⊂&i0_%i ⊂"Q¬`(∧A@λ↓R@TPαR@TX↓Q(Bx	¬¬BλλK ⊂,@k⊂⊂,@K_,Jp_+@Jp⊂+j`⊂+JP_*@J@_*J@⊂)@j0⊂)@J _)J⊂_(@J⊂⊂(j⊂(Ip_'@I`_'I`⊂&@iP⊂&@I@_&I0_%@I0⊂%i ⊂%HT ≥↓!⊃_	@ 4PαR@TPαR`48∧R`4PαR@TPαR`4("∞`PH∞∧`⊂_%↓) (%↓)0_#B)0_%↓) (%↓)0 &@IP⊂&@IP⊂&i@⊂%@i _%HT ≡↓!⊃p
@ 4PαR@TPαR`48↓∪$`↓∪$`↓∪$`↓∩`4X↓R`4X↓R`4Xα∩`DXα∩`DPαR@TPαR@TPαR@TPαR`4("∂#rλ¬D ↓x%πhp8%πi!x"Qλ↓x⊂GC`X∧TaUλαA`Uαα`Dpαβ`Dp↓D 4h↓A@p0↓S0(¬↓@4`↓↓ P ↓A@$X↓A@8β@4X↓↓@Hα@`$P↓A@Pα`4P↓↓@Xα↓$P↓↓@Xα↓$P↓↓@Xα↓$P↓↓@Xα↓$P↓↓@Xα↓$P↓↓@Xα↓$P↓↓@Xα↓$P↓A@Pα`4X↓↓@Hα@`$X↓A@8β`$`↓↓ P β@@4`↓A! ⊂βS 00βATp↓S@Eα∧@5λαBA∃_
∃!D("⊗``X⊗λ 0%↓I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%↓I 0"QP0βK∧⊂β∩@dp↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∩@dPβ⊃(Fβα!QpαIP_&i0_%@I _%I ⊂%I (%↓I 0%A)@_"Qα @εBβ`λ↓∩@DPαR`T`α∪ Dpα∪`5↓⊃(A_∧∧!↓pα@I` &A)@(&↓	0 %↓	 _%HT 
βα⊂8
@ @↓∩@@ α∩`@⊂α∪↓∧hβ∪ dpα∪`$("¬!a⊂∧π@⊂¬I ⊂¬I _∧i0⊂∧I0_βi@_αi@P&B	p "Qαa	@#λ∩B∧("¬a!0∧π@ 0%B	 _αi ⊂βI ⊂βI ⊂βI _αi0@&↓HT αbpH@`Dhα∪ dhβTUλα∀Tpβ∩A∀PβQ(B¬α`Aλβ@ip(&A) 0%↓λT /βα⊂8∂↓ $pα∪ d`∧∪↓∧Xα@DP↓A@4P↓α$("↔`PHαπ@⊂_%↓) (%↓)0_"Q∂Pp	Bβ` ↓↓ $hα`D`α@@T`α`DXα@@TXα`DPα`DP↓A4P↓↓ $("∨B↓_αG@@ βIP0αi@@↓i0_↓α	 _α↓I ⊂β↓λT ?CB  ∂ 00↓R@P αR@P αR@P αR`00↓Q(Ah∪Jβap¬FJQP,@@⊂(∧↓K_A!0_,@ (¬@k⊂↓↓!@_+@` (εjp⊂↓A!@_+`0(α@p⊂+@@(α@p⊂+@@(α@p⊂*@`@(αJP⊂αA 0_*`P(↓@j@⊂βαj@⊂βαj0_β↓ 0_)@@p(↓@j _βA @⊂)β`@⊂∧J xαA⊂(@a(α@p_(@A⊂(ε@j_∧A!P⊂(A (εj⊂¬↓!@_'@a (¬A	p⊂¬A! (&A! (βAi X↓ε	 X↓ελT ∂
EAp∂αcU_∂T `(βB eαB``↓S`@XαC4pαβPh↓S P`αC 4`αC Ph↓SPhαA  8↓∩`PpαA  8↓∩`PpαA  8↓∩@`pαA $PαC`P ↓R@PxαA4PαCaDPαCaDPαC`P ↓R@PxαA4PαC`P(↓∩@`pαA  @↓∩`PpαA  @↓∩`PpαA  8↓SPhαC@4`αC Pp↓∪ P`αC 4pαβPh↓S`@XαCEαB`XαT `(βBu_∂U#T("πcrλ∩λ# ⊂2L0_*B @_)C  ⊂(A@P@(↓!⊂('A↓P '↓↓P0&A!@@&↓!P⊂↓↓)@(ε` (%A!@_α↓)0(ε@P(%↓A0_αAI (¬@`p(%↓!0⊂∧↓) (¬a(%↓!⊂_∧A) (∧a (%↓!⊂¬A) (β@a0(%↓ `_ε↓)0(α@A@(%A @_ε↓)@ ↓@aP &↓  ⊂εA)P@ε↓)`0εA	`(εA*(∧A)p@αAIp⊂↓β)`_αα)P_&i@⊂"Q↓1`∞GC`@∧`e
S`P(β@Tpα↓@`_αS P0αAThα↓`P(↓S @@α∪ @@α∪ @@α∪ @@α∪ @@α∩C∧P∪ @@α∪ @@α∪ @@α∪ @@α∪ @@α∪ @@α∪ @@α∪ @@α∪ @@α∪ @@α∪ @@α∪ @@α∪ @@α∪ @@α∪ @@α∪ @@α∩A ⊂¬RA ⊂¬Q(@`Fβap∧α
`'A P '↓p(&A p(&A↓(&A↓⊂_&A	P &A	P %¬	! &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ %α@0P%α@0P"Q↓Q8πC`@∧@%π∪`P(αS@@8αS P8αS @@αS @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∩BDP
∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∩A _¬∩A _¬⊃(@p⊃Iβap∧↓`P@(α`⊂`'A @@αA	` β↓@p(&A `0βA)P βA!(&A↓ ∧@iP ∧↓	P ∧↓	P ∧↓	P ∧↓	"%λ	P ∧↓↓⊂ &A↓ ∧A	P ∧↓↓⊂ &A↓ ∧A	P ∧↓↓⊂ &A↓ ∧A	P ∧↓↓⊂ &A↓ ∧A	P ∧↓↓⊂ &A↓ ∧A	P ∧↓↓⊂ &A↓ ∧A	P ∧↓↓⊂ &A↓ ∧A	P ∧↓↓⊂ &A↓ ∧A	 P↓α@0P%α@ P↓BHT πHdAp∂α↓ ∧@%
∪`P(βA Tpα↓`P8αS P8αA`ThααP8αS @@αα Dhαα@Hα∪ @@αα Dhαα@Hα∪ @@αα DP⊂∩D∧hαα@Hα∪ @@αα Dhαα@Hα∪ @@αα Dhαα@Hα∪ @@αα Dhαα@Hα∪ @@αα Dhαα@Hα∪ @@αα Dhαα@Hα∪ @@αα Dhαα@Hα∪ @@αα Dhαα@Hα∪ @@αα DP¬A _¬∩A ⊂¬a$("↔↓a εG@@⊂βIP_α@i@_α@i0_α@i0⊂βI _α@i ⊂βI ⊂βI ⊂βI (↓A) 0↓↓I 0↓↓I0(↓A)@_α@hT ⊃βAph∂ 0(↓R@P_αR@`⊂β∩@`⊂β∩`P_αS@ 0↓∪@ 0↓∪@ 0↓∪ 0(↓S  0↓∪0(↓R`0(↓R@0(↓R@ 0↓⊃(Bhεβ0Xβ	 `%β	 `"Q∂10!@∩Bd("∨¬RhCαh%(←@¬vX$,	9:↓∨3@↓∨3@␈␈␈␈hαh␈␈␈␈(αλ{⊂$0ε∃*P∧?0!λ XR{ (↑d_⊂@↓>2@λ⎇HB_β⊃|h→{⊃#p¬L∨PA?0#π@P↑β ↓#↑d8∩↓N8A⊂}⎇Iα_β
U(7@{∩"⊂α|ε0}␈0%ε@9Wα∂≡dX∩↓LP# G⎇IAhαHq`Q {∪% πD↑p↓-←0'λ``*U β⊂≡dx∩↓LP#0r⎇J↓xαf∂hv{∀$@ε2H`↓w␈0)λ@`
7 ∧_↑e_
↓∩⊂b@r⎇JBλα|ε(↓∃0{∃$0ε∃*Pα7␈0+λ``*U ¬∂↑e8↔@α∞0[@PX⎇Kα_β
U(↓7⊂{⊗$0ε∃*Pα|␈0-πPε)ε∩↑fλ@↓β@r`[⎇L!Pα$, ↓P`{_b@βS`0β/?02ε@H⊃1εn↑f(
tx↓@p∩⎇L`p↓ e⊂↓f@{→bp∧∞≤@βV←04ε@H⊃1πG↑fHε@Iλ1xE⎇M p↓ e⊂↓|0{~c∧+:@∧β?06β  HX@λ!≡fh∪↓[ ∪↓d⎇MaPα$, α∀P{≠bp∧∞≤@∧4∨08ε@H⊃1λ|≡gλ↓
hj↓⊂,⎇N!⊂↓O4⊂α, {≤b β∨⊂`∧←←0:∧@02H`	R≡g(
↓∩⊂b↓_K⎇Na@α∃] α>p{≥d⊂¬xP¬ε←0<ε@Vu
+≡gH↓
hj↓ |⎇O! ↓ip_αU@{βP¬⊃c@¬4∨0I@hZ	@
}≡`⊂∩↓LP#↓02⎇@1hαP→(αo`{↓β@¬β∀@¬l␈0αH``*U p↑`0⊂@↓>2@↓@ ⎇@r β→$0β
P{α∧⊂¬xPε"?0∧I`e⊃@f≡`P⊂@↓>2@↓P∞⎇F↓8απ∞ β*`{"p∧∞≤@εc␈0→¬`@≤9
X≡c_@↓β@r↓X\⎇FA8απ∞ βA0{
"p∧∞≤@π
?0≠¬`@≤9∞1↑c8@↓β@r↓h≠⎇G↓8απ∞ βX⊂{∞"p∧∞≤@π=←0∩¬`@≤9∂↔≡b0∩↓LP#↓p⎇⎇Ga0↓x?_βy{∂b`βp}0π{←0λβ  HX@⊂
↑aλπP0)α,⎇C⊃8απ∞ ∧	p{εD⊂¬xPλ$?0
I`e⊃@⊂b≡a`@↓β@rαλ{⎇D⊂h↓∩⊗⊂∧'⊂{λd`εm∧`λV?0∩I@hZ	@⊃S↑b8ε@Iλ1α ∪⎇E↓⊂↓LR_∧DP{
" β→$0	∃?0∃¬`@≤9∩C≡bX∩↓LP#α(*⎇E@h↓∩⊗⊂∧YP{APα$, 	7←0↔E`@≤9∩s↑cPε@Iλ1α0↔⎇G0h↓∩⊗⊂∧d`{∂↓Pα$, 	O?0≡I`e⊃@∪/≡d∩↓LP#α0f⎇K0h↓∩⊗⊂∧x@{↔!Pα$, 	⎇∨00β  HX@∀∩↑a⊂@↓β@rα@6⎇B18απ∞ ¬λ0{¬αp∧∞≤@
∪␈0
E`@≤9∀/≡a0@↓β@rα@p⎇Br_β
U(¬∞`{ε∧⊂¬xP
!␈0⊂β  HX@∀J↑ep@↓β@rαH≥⎇Kph↓∩⊗⊂¬∃@{∨"p∧∞≤@
-∨0?¬`@≤9∀e≡gx@↓β@rαHY⎇CRPβ[πp¬≤p{πE`λ≤8p
P␈0∂I`e⊃@∃P≡`X
@↓→8ZαXx⎇AAPα$, ¬G0{β# ∧HX@≥∨0π	@hZ	@⊗Y↑`x∪↓[ ∪αp	⎇KA8απ∞ ¬l@{λBp∧∞≤@`␈0⊗C`(=P@↔Q↑gX@↓β@rαx*⎇OBp∧∞≤8¬v|@αx5`{⎇xow{⎇x